Skip to content

feat(widgets.wez): add type annotations#169

Merged
DrKJeff16 merged 3 commits into
mainfrom
feat/widgets
Jun 23, 2026
Merged

feat(widgets.wez): add type annotations#169
DrKJeff16 merged 3 commits into
mainfrom
feat/widgets

Conversation

@DrKJeff16

Copy link
Copy Markdown
Owner

Source(s)


Description

Added type annotations for @usrivastava92's widgets.wez.

@usrivastava92 I encourage you to shout out this plugin in your plugin's README, to benefit your users!


Screenshots Or Code Snippets (Optional)

Can be imported with the following snippet:

---@type Widgets
local sys = wezterm.plugin.require("https://github.com/usrivastava92/widgets.wez")

DrKJeff16 and others added 2 commits June 23, 2026 01:28
Signed-off-by: Guennadi Maximov C <g.maxc.fox@protonmail.com>
@DrKJeff16 DrKJeff16 self-assigned this Jun 23, 2026
@DrKJeff16 DrKJeff16 added documentation Improvements or additions to documentation enhancement New feature or request new-types A PR addresses new data types and/or fields plugin This concerns annotations for a WezTerm plugin. labels Jun 23, 2026
@DrKJeff16 DrKJeff16 moved this to In Progress in @wezterm-types Roadmap Jun 23, 2026
Signed-off-by: Guennadi Maximov C <g.maxc.fox@protonmail.com>
@DrKJeff16 DrKJeff16 merged commit 4a6518b into main Jun 23, 2026
1 check passed
@github-project-automation github-project-automation Bot moved this from In Progress to Done in @wezterm-types Roadmap Jun 23, 2026
@DrKJeff16 DrKJeff16 deleted the feat/widgets branch June 23, 2026 07:32
@DrKJeff16 DrKJeff16 added the merged This PR has been merged successfully! label Jun 23, 2026
@usrivastava92

Copy link
Copy Markdown

Thanks for adding type annotations for widgets.wez.

I added a README note so users can discover the LuaLS annotations through wezterm-types: usrivastava92/widgets.wez#1

README section: https://github.com/usrivastava92/widgets.wez/blob/main/README.md#type-annotations

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation enhancement New feature or request merged This PR has been merged successfully! new-types A PR addresses new data types and/or fields plugin This concerns annotations for a WezTerm plugin.

Projects

Development

Successfully merging this pull request may close these issues.

2 participants